Try to fix that silly travis-ci status symbol.