Hopefully fix compilation for raspberry-pi