Two source files have non-standard names as they were build options. The gpr file needs to pass this information to gprbuild users.