That would be better. To avoid the duplication, how about preprocessing the file in `Makefile` (i.e. stripping the file extension with `sed`) before the packaging?!