make userDB_idiorm.php HHVM-compliant