Fix include of renamed file