diff --git a/base-nova/run/env b/base-nova/run/env
index bdabb49d3..e9e4d00ce 100644
--- a/base-nova/run/env
+++ b/base-nova/run/env
@@ -58,7 +58,7 @@ proc build_boot_image {binaries} {
 	if {![nova_external] && ![file exists [nova_kernel]]} { build { kernel } }
 
 	puts "using NOVA kernel at [nova_kernel]"
-	exec objcopy -O elf32-i386 [nova_kernel] [run_dir]/hypervisor
+	exec [cross_dev_prefix]objcopy -O elf32-i386 [nova_kernel] [run_dir]/hypervisor
 
 	install_iso_bootloader_to_run_dir