Makefile.in: Rename GNAT RTEMS specific files.