Fix to eregi with PHP 5.3