#328 nicer path for regexes.php