C* still doesn't work in Travis