Index: boot/tools/pack.py
===================================================================
--- boot/tools/pack.py	(revision fd375a8d1ed315622d230241a9b3227ec34ba99e)
+++ boot/tools/pack.py	(revision 4a537dda1680cfd9fd57ba877d36d641060c8f7f)
@@ -72,5 +72,5 @@
 		plainname = os.path.splitext(basename)[0]
 		path = os.path.dirname(task)
-		object = plainname + ".o"
+		object = plainname + ".co"
 		symbol = "_binary_" + basename.replace(".", "_")
 		macro = plainname.upper()