dockerfile: switch back to the ubuntu:14.04 base image