Rename dtc to dtc64 as it's a 64bit binary
Add dtc 32bit version