Revert rename, as suggested by @vtjnash due to case-insensitive filesystems