Patch for automatic extension setting of file URLs