Fix CI travis

[avilchess]

Make sure you have checked all steps below.

Description

• Here are some details about my PR, including screenshots of any UI changes:

Tests

• My PR adds the following unit tests OR does not need testing for this extremely good reason:

Benchmarks

• My PR adds the following micro benchmarks OR does not need benchmarks for this extremely good reason:

Commits

• My commits have been squashed if they address the same issue. In addition, my commits follow the guidelines from "How to write a good git commit message":
  1. Subject is separated from body by a blank line
  2. Subject is limited to 50 characters
  3. Subject does not end with a period
  4. Subject uses the imperative mood ("add", not "adding")
  5. Body wraps at 72 characters
  6. Body explains "what" and "why", not "how"

License

• Add a Mozilla Public License 2.0 license header to all the new files.

Documentation

• In case of new functionality, my PR adds documentation that describes how to use it.

[codecov]

Codecov Report

Merging #127 into master will not change coverage.
The diff coverage is n/a.

@@           Coverage Diff           @@
##           master     #127   +/-   ##
=======================================
  Coverage   97.68%   97.68%           
=======================================
  Files          17       17           
  Lines        1857     1857           
=======================================
  Hits         1814     1814           
  Misses         43       43

---

Continue to review full report at Codecov.

Legend - Click here to learn more
Δ = absolute <relative> (impact), ø = not affected, ? = missing data
Powered by Codecov. Last update bda16b1...ef78114. Read the comment docs.