The galaxy package manager doesn't support skipping updates if the versions are the same, so force is the easiest way