platin: adapted to new pasim options