minor edit to the dockerfile
minor edit to the dockerfile

aw32/son-sp-infrabstract,DarioValocchi/son-sp-infrabstract,DarioValocchi/son-sp-infrabstract,aw32/son-sp-infrabstract,skolome/son-sp-infrabstract,aw32/son-sp-infrabstract,skolome/son-sp-infrabstract,aw32/son-sp-infrabstract,aw32/son-sp-infrabstract,DarioValocchi/son-sp-infrabstract,skolome/son-sp-infrabstract