Workaround for python-ctypes (Sdb not resolved?)