Make WEBDIS_VERSION redefinable