Another bash'ism in functions.sh