support for php >= 5.4