bin/globify: different sed versions drive me crazy