Add shell-version 3.14.2 reported by Debian/jessie