fixed some installation scripts and updated to the latest git HEAD (8e6460fed3d4182dd...