Trying another configuration for travis