fix c string casting