#31: quoting some strings in config file to avoid clashes with PHP's reserved words