minidummy: fix compilation error