fixes for installation problems on linux