building with virtualbox and boot2docker 1.3.0