Updating the opentoken SDK to be PHP 5.4 friendly