libedit: fix a compatibility issue that appeared in gdb 7.6

gdb76 has a patch for it, but this change will increase compatibility
with other readline users as well.
fix bashism in cryptmount