for building with travis CI