Harder test showed the binary bug is still here (#74).