how does Pulumi know to start with index.tx as the main entry?