This file should live in khmer/