travis: coq is in /usr/local/bin, not /usr/local