Fixed a typo fix in the travis build
Merge pull request #6765 from jvanbaarsen/fixed-missing-buid-option

Fixed a typo fix in the travis build