temporarily removing stale 32bit binary