switch to le32 target by default