Until my changes are committed to penlight ...

We need to include the definition of tablex.sort.