Docker configuration to build a redx container