make userDB_idiorm HHVM-compliant