adapt name of jar file in debian/jabref.{install,links}