Add compiled sokoban files