decouple RELEASE_VERSION from VERSION_ABI