issue #2727:  Fix travis-ci compile error