Currently, only 32-bit Linux binaries are allowed which work with a particular set of Linux libraries. Over time, the architectures will change (64-bit, Windows, etc.), so we need to both 1) keep virtual machine images to preserve reproducibility and 2) allow programs (especially with source code) to be adapted to new architectures.