Fix path for shogun in Dockerfile [ci skip]