xsokoban: fix eval