Version number change. Update debian version too.