changes for warning-free build with GHC 7.8.3
updated INSTALL file; renamed