Fix build of tutorials for MIC