Don't use PHP 5.4 style yet.

Fixes #74