Fix #261: reversi-opt broken.

It was broken in 3f59f11f1a446bd5681e67d69667eaa80a6105d9.
Merge pull request #262 from sjrd/fix-reversi-opt-on-master

Fix #261: reversi-opt broken.