diff --git a/Pm/PmDriver.icl b/Pm/PmDriver.icl
index 173ca5ed6b819115e509d9083c41aec7e3dffe7d..ea4d4bc2b1b8a7f1adc416ab055dd8fb60dc9c5b 100644
--- a/Pm/PmDriver.icl
+++ b/Pm/PmDriver.icl
@@ -991,7 +991,7 @@ icl_to_dcl_file_name file_name
 
 append_object_file_extension_if_dot_at_end tp use_64_bit_processor s
 	| s.[size s - 1] == '.'
-		| use_64_bit_processor
+		| use_64_bit_processor && DirSeparator=='\\'
 			= s+++"obj"
 			= MakeObjPathname tp s
 		= s