Fix include filename