Migrated the tutorials towards the use of libc++