Stop using ctfutils
Add 32bit support