Fix Bento build

All works for me now, for the first time I think. 

It's probably time to remove Numscons support, that's currently broken and it's too much effort to keep all three build systems up to date.