Fixing #1334: Examples build problem