Makefiles: support shortened object filenames
18 files changed