Fix wrong file case in inclusion