ifxmips-dsl-api: fix portability errors