Why are you casting a void-pointer to char-pointer?