exception message changes between PHP versions