Fix handling of devel_kit in www-servers/nginx.