DefInjected updated to 0.4.417