little linux build script fixes suggested by tifozi