Trying different configuration settings with travis CI