Use COVERITY_PLATFORM in env