PHP <=5.5 is not supported (how embarrasing)