Simplify debian/jabref.dirs.