install NGINX from source so that nginx can be reloaded before rebooting the machine (work-around for https://github.com/miketheman/nginx/pull/223)