Fix use of File.separator in a regex