fix debian dockerfile