Fixed 'make bench' again.