distinction between server_timezone and php_timezone
fix wrong argument being passed to sed for setting php date.timezone