fix raspberry compilation (#21)