Revert "I love case-insensitive filesystems."

This reverts commit 65f89ce8b2bdb81be1e7bdf2e8d805a3b2e122e2.

This didn't do what I thought it would.
Add git inside docker container