Bin Gao approved merge request !4: fix cross compilation at Bin Gao / Gen1Int

Bin Gao
2023-04-26T18:51:50Z

ref dalton/dalton!375