Interpreter changed to avoid preg_match 'unrecognized character' error