* Hack: standardized docker's build environment in a Dockerfile