Fix PHP 5.3 compatibility, fixes #125.