Fix build-softhsm.sh for Ubuntu 14.04