another change to debian/jabref.mime