tweaking/fixing dockerfile config for CI