--- backends/aarch64_initreg.c 2017-03-08 17:45:48.694607265 +0100 +++ backends/aarch64_initreg.c 2017-03-08 17:49:45.939959063 +0100 @@ -31,6 +31,7 @@ #endif #include "system.h" +#include #include #ifdef __aarch64__ # include