coq+nu Error establishing a database connection