FIx for broken bash script noted in #32