fix pointer casting to make gcc happy
Authored by: dockes 2009-12-14
Parent(s): [8bf083]
Child(ren): [1ab7ea]