Index: boot/tools/pack.py
===================================================================
--- boot/tools/pack.py	(revision fd375a8d1ed315622d230241a9b3227ec34ba99e)
+++ boot/tools/pack.py	(revision 3cc110fd26aa526528a9c7a4962a95fc10e58feb)
@@ -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()