make work with an older PHP