fix examples for unpolluted libctru headers