Fixes for some PHP 5.3.x issues

Fixes for some installer issues under PHP 5.3. Likely fixes #173