Adjust filename in debian/jabref-plugin-oo.{install,links}.