Fix workspace and mount option of docker