Update sokoban.hpp