don't check src in DEPS.mogo