file
The name of the project file to be built.