Fix case-sensitive path name on ubuntu.