.coverity-submit is now .coverity-scan for windows, too