Fix two files pointing to old docker location