Adjustments for docker