Changes

Summary

1. dix sources when converting to 64bit too (details)

Commit 3672967e2c96613852e6159f8fadd50022d6bce7 by estebanlm dix sources when converting to 64bit too
	bootstrap/scripts/transform_32_into_64.sh (diff)