dev-php/hhvm-pgsql: hack to fix build