Howto change output pin

[geronet1]

I would like to change the output to Serial1 on an ESP8266, how is this possible? Serial (UART0) is already used for bus communication and i need the hardware UART.

With #define SERIAL_DEBUG_IMPL Serial1 before including FormattingSerialDebug.h it doesn't work.