gnome-platform-libIDL.sh