Update for 1cf52d7d : Switch to new url for trac.