patch rockmongo to be compatible with PHP 5.4+