Move to PHP version 5.4