Fix build error for Travis CI