Workarounds to support PHP 5.2