version bump for new python highlighting