Fixing tests for bugfixed PHP versions