fix for newest php version