Tweaks to make install work in linux.