dbase extension for hiphop-php.