tools.php: added MiscTools version