files needed to install docker on 32bit ubuntu