petrifoo: fix build
(cherry picked from commit dc8e1c199c074319be63fba8a0301b3332262927)Signed-off-by: Domen Kožar <domen@dev.si>
Domen Kožar 10 years ago fe0d91a0 cbb7bc92