Index: src/build.amd64
===================================================================
--- src/build.amd64	(revision cd95d7841b3abc438711416dfdf6551b51f15bb4)
+++ src/build.amd64	(revision 2a0d7829a482248921a43eb7a207c454f9094862)
@@ -5,5 +5,5 @@
 (cd ../arch/amd64/src;make gencontext;./gencontext)
 # Create links to ia32 architecture
-for a in drivers bios; do
+for a in drivers bios interrupt.c; do
   ln -sf ../../../arch/ia32/src/$a ../arch/amd64/src/
 done