Fixed TAP file name parsing

Added a special case for the situation where File.separator does not
match the platforms proper separator (for example, File.separator equals
'/' even though we're running on Windows)