PHP 5.2 fixes for GitHub deployment