do we absolutely need 32 bit linux bins?