Fix Issue #45: sys_get_temp_dir() not available on older PHP 5 versions