use $_SERVER['SERVER_NAME'] in case $_SERVER['HTTP_HOST'] is not set