Support Ajhc's --cross option.