the URLs apparently changed(?)
This fixes a problem I kept causing myself: the patched ROM files were not per build directory, meaning that I'd build a wrong ROM and wonder why nothing was working.