Fix issue #51

PHP version is a bit old on this server…