version bump 0.12.801