32 bit ubuntu installation as a Docker container