Update library to php 5.4