Changes for compilation with gcc, optional mic build.