Small (linux) build fixes

Hi, please review small fixes as I go through the installation on a linux system. 
Thanks!