travis should use gcc; clang complains too much with coin