gitlab-ci: simplify $CROSS option