Newline on -slash warning in coqdep.