Fix php54