Further fixes
Rough installer for Linux, untested