Regularise handling of "+" in file URLs to fix Jenkins build on Windows