Fix make-publish.sh on Ubuntu