fix distcheck and upgrade version numbers