toplevel: allow patching other sources
ntl: patch src/ntl, not src