This workaround seems to do the trick for the time being:
if ($request_method = HEAD) {
add_header Content-Length 0;
add_header Content-Type text/plain;
add_header Vary Accept-Encoding;
return 200;
}
It might interfere with other HEAD requests, so I consider that as stopgap
measure
Posted at Nginx Forum: http://forum.nginx.org/read.php?2,255845,255865#msg-255865