fix erroneous test due to different php settings