[travis] rtfm! this should fix coverity + travis