Fixed bug resulting in ignored options in configuration files. Also clarified installation instructions