Build fixes

Avoid returning unwanted output from process; move Linux makefile to …

…linux rather than linux64 as there's nothing 64-bit-specific about it