Fixes build error on travis.org