disabled OS-selection in travis-ci