Some fixes in INSTALL and installer