The Synthesis Source Files Must Be Specified