Trying another configuration for travis / coveralls