fix for raspberry pi builds with gcc/default