Fix type -p bashism that crept in via recent patches. Closes: #707319
releasing version 1.3