Okasaki examples build again