php-doctrine-orm: fix for latest PHP