Fix for ccbuilder crash under x86_64

Fix for ccbuilder crash under x86_64