This one is minor, but i think it's nor imaginary - makefile does not make a symlink or something. I'll just copy the file.
make[5]: Entering directory `/home/ubuntu/l4-devel/build/pkg/loader/examples/fprov-l4/OBJ-x86_586-l4v2' ... Compiling main.o LD_PRELOAD=/home/ubuntu/l4-devel/l4/tool/gendep/libgendep.so GENDEP_TARGET=main.o GENDEP_BINARY=cc1 gcc -c -DRAM_BASE=0x0 -DUSE_UCLIBC=y -DSYSTEM_x86_586_l4v2 -DARCH_x86 -DCPUTYPE_586 -DL4API_l4v2 -DCONFIG_L4_CALL_SYSCALLS -DCONFIG_L4_ABS_SYSCALLS -I/home/ubuntu/l4-devel/build/pkg/loader/idl/OBJ-x86-l4v2 -I/home/ubuntu/l4-devel/build/include/x86/l4v2 -I/home/drops/include/x86/l4v2 -I/home/ubuntu/l4-devel/build/include/l4v2 -I/home/drops/include/l4v2 -I/home/ubuntu/l4-devel/build/include/x86 -I/home/drops/include/x86 -I/home/ubuntu/l4-devel/l4/tool/dice/include -I/home/ubuntu/l4-devel/build/include -I/home/drops/include -I/usr/lib/gcc-lib/i486-linux-gnu/3.3.6/include -gstabs+ -g -O2 -fno-strict-aliasing -march=i586 -Wall -Wstrict-prototypes -Wmissing-prototypes -Wmissing-declarations -fno-common /home/ubuntu/l4-devel/l4/pkg/loader/examples/fprov-l4/main.c -o main.o /home/ubuntu/l4-devel/l4/pkg/loader/examples/fprov-l4/main.c:22:18: zlib.h: No such file or directory