Allow building the tutorial without pgi