Bump verstion to 1.1.7 so that we can release new Debian packages