diff-mode now uses craig-previx