fix for older php