tweak ExamplesNoCUDA.hs