Test that the C* workaround works in Travis