Fix #1258: Sample app incompatible with PHP 5.2