Use c backend for travis