__builtin_prefetch is in any case defined as empty if non-gcc is used to compile
Static boost may be needed, it can be enabled this way