Fix config for the dedibox machine.