Update filenames in debian/jabref.{install,links} again.