This should work too:
Although pdf does have end of line tags, and file:// is already built into pdf as an internal pattern, though admittedly I just checked the code and it seems like two slashes isn't as common as three or four slashes - I've just tweaked the number to look for.