fix problem with including wrong file