simplify
fix travis breakage due to case-sensitive file system