diff --git a/workarea b/workarea
index 2716a312eb..1672d4b2d1 100755
--- a/workarea
+++ b/workarea
@@ -184,6 +184,7 @@ workdir $W/boot/$M
 (cd $W/boot/$M; workln ../../../boot/$M/equates.h equates.h)
 (cd $W/boot/$M; workln ../../../boot/$M/gc-ocd.inc gc-ocd.inc)
 (cd $W/boot/$M; workln ../../../boot/$M/gc-oce.inc gc-oce.inc)
+(cd $W/boot/$M; workln ../../../boot/$M/vfasl.inc vfasl.inc)
 (cd $W/boot/$M; workln ../../../boot/$M/petite.boot petite.boot)
 (cd $W/boot/$M; workln ../../../boot/$M/scheme.boot scheme.boot)
 (cd $W/boot/$M; workln ../../../boot/$M/def.so def.so)