Use posix shell in dice docker setup