I will create a revised path with a newer ppp, as ppp 2.5.0 included in guix works fine now.

See https://github.com/adrienverge/openfortivpn/pull/1148