core.sh (strip): don't use sed but internal bash built-in