Problem: The prelude header file needs to be configured in the
project.xml even though it is generated.
Solution: Add prelude header include to project header by default.