Fix some whitespace inconsistencies in scripts/cross