ensure nice default HTTP index page for nginx