dockerfile: similar to travis env:use ubuntu 12.04