also bump the version in ext_emconf.php, if available