Making it easier to build and install Nimrod on Linux (for packaging, especially)