Adapted to new strip options (v0.9.21)
Merge branch 'master' of github.com:mini-distribution/cross-extra