PDE Example from Library fail

I downloaded the Adafruit GPS library. When I try to verify any of the example sketches I get an error the the ino file is not found. The library works perfectly with the Download IDE 1.8.2

System Kubuntu 16.04 (kernel 4.4.0-75-generic #96-Ubuntu SMP) running Firefox 53.0 (64-bit).

For example using the "blank.pde" sketch from the library:

// this sketch will allow you to bypass the Atmega chip
// and connect the GPS sensor directly to the USB/Serial
// chip converter.

// Connect VIN to +5V
// Connect GND to Ground
// Connect GPS RX (data into GPS) to Digital 0
// Connect GPS TX (data out from GPS) to Digital 1

void setup() {}
void loop() {}

arduino-builder/arduino-builder -compile -core-api-version 10611 -build-path /tmp/210920461 -hardware arduino-builder/hardware -hardware arduino-builder/packages/cores -tools arduino-builder/tools -tools arduino-builder/packages/tools -built-in-libraries arduino-builder/latest -libraries /tmp/833023974/pinned -libraries /tmp/833023974/custom -fqbn arduino:avr:uno -build-cache /tmp -verbose=true /tmp/833023974/blank

Using board 'uno' from platform in folder: /home/admin/builder/arduino-builder/packages/cores/arduino/avr

Using core 'arduino' from platform in folder: /home/admin/builder/arduino-builder/packages/cores/arduino/avr

Unable to find /tmp/833023974/blank/blank.ino in /tmp/833023974/blank >:(

the echo.pde and parsing.pde give similar errors.

The examples from the standard librarys work fine. Examples from some of the other builtin libraries
like BRIDGE and LIQUIDCRYSTAL work fine as well. I tried a different Adafruit library and it worked??

See Error with PDE library examples - Web Editor - Arduino Forum

We have the Examples from Libraries in .pde in our list, we are migrating to the new authentication system as first priority, we will look into this soon afterwards.

Thanks for your understanding.