Fixes to bootstrap Ubuntu 14.04 with Docker