pos.sh: dumb change in echo to have something to push