Fix: php default configuration wasn't strict enough