re-fixing the versioning yet again for 4.0.x. Oops