fix of Travis CI build failure