Fixing more example compilation problems