fix for proper 32/64bit packaging