Bump version number to purge Vaen caches.