fix printf formating and faster clang2py