fix no exit keys in Bash < 4, fix #1