quick fix of Makefile.release for 3.5 release

- whitespace in file names broke some shell tooling