necessary in some php versions