fix ctypes build

Closes #780