fix case-sensitive file name for linux