fix gen_castling() (6188937)