Partial revamp of `scripts/crosscompile`

Fix #430.