WIP while moving machines; docker does not work with 32-bit