Fix wrong Progress dep