This file was not updated when we switched from plastic to paper. Well
I guess it was edited in place, and when I did a new install, it killed the correct version in /usr/testbed/bin/pxe. So, lets remember to update this file in the repository instead.
Please register or sign in to comment