*: fix build problems found with randomconfig

3 files changed