Fix wrong mainfile value