Fix build for everything but hikirk.

In hikirk, it wasn't broken in the first place.

Signed-off-by: Angelika Tobisch <tobisch@dresearch-fe.de>