make sure both main.scrbl files use the same format