wrong "mainfile"