Update to php version 5.5