Update coq-load-path