tweak/fix dockerfile