Seems we need to set host_arch and target_arch more forcefully