If you're using 3rd party software, you don't want to format your default volume with case-sensitivity enabled.
Reply on news.ycombinator.com