gvpe.protocol(7) on Linux

The text fe7bc1131813, as Debian 7 (Wheezy) shipped it.

gvpe.protocol(7) on Linux now