disabled OS-selection in travis-ci
run autogen.sh in coverity_scan-mode