added info to INSTALLATION about default option values