develop
remove more libffi workaround leftovers
update metainfo
fix merge
Release to PPA (#1791)
fixed java options required for panama