fix for unset $_SERVER['HTTP_USER_AGENT']