Fix wrong case that fails under case sensitive file systems