Re: [PD-dev] Compiling and debugging flext external on Debian linux