[BUGFIX] PHP 5.3 support