little modifications in ext_emconf.php