VCBI: Added necessary cast to fix printing of loaded image size on 32bit archs