Simplfy BUILT_SOURCES so we don't need to add the files in two places.