Examples are no longer built by default (they require alloutil)