Use the correct main file