Fix includes on case-sensitive file systems