various bug fixes; case-insensitive dir listings; added html flag