Ignore directories in the HTTP file server. Fixes #256.