use 32-bit devkit