Error during the "ned" package build (svn revision 42)

Hello,

I got the following error building the "ned" package for ARM architecture (Cortex-A9, Pandaboard).
I use the last Linaro toolchain "gcc-linaro-arm-linux-gnueabihf-4.7-2012.12-20121214_linux".

=== Building package "ned" ===
make[1]: Entering directory `/home/repository/L4.kernel/fiasco/src/l4/pkg/ned'
make[2]: Entering directory `/home/repository/L4.kernel/fiasco/src/l4/pkg/ned/server'
make[3]: Entering directory `/home/repository/L4.kernel/fiasco/src/l4/pkg/ned/server/src'
  ... Building /home/repository/L4.kernel/fiasco/src/l4/ArmBuild/pkg/ned/server/src/.general.d
make[3]: Leaving directory `/home/repository/L4.kernel/fiasco/src/l4/pkg/ned/server/src'
make[3]: Entering directory `/home/repository/L4.kernel/fiasco/src/l4/pkg/ned/server/src'
make[4]: Entering directory `/home/repository/L4.kernel/fiasco/src/l4/ArmBuild/pkg/ned/server/src/OBJ-arm_armv7a-l4f'
  ... Building .general.d
  ... Building Makefile.inc
make[4]: Leaving directory `/home/repository/L4.kernel/fiasco/src/l4/ArmBuild/pkg/ned/server/src/OBJ-arm_armv7a-l4f'
make[4]: Entering directory `/home/repository/L4.kernel/fiasco/src/l4/ArmBuild/pkg/ned/server/src/OBJ-arm_armv7a-l4f'
make[4]: *** No rule to make target `ned.lua.bin.o', needed by `ned'.  Stop.
make[4]: Leaving directory `/home/repository/L4.kernel/fiasco/src/l4/ArmBuild/pkg/ned/server/src/OBJ-arm_armv7a-l4f'
make[3]: *** [/home/repository/L4.kernel/fiasco/src/l4/ArmBuild/pkg/ned/server/src/OBJ-arm_armv7a-l4f] Error 2
make[3]: Leaving directory `/home/repository/L4.kernel/fiasco/src/l4/pkg/ned/server/src'
make[2]: *** [src] Error 2
make[2]: Leaving directory `/home/repository/L4.kernel/fiasco/src/l4/pkg/ned/server'
make[1]: *** [server] Error 2
make[1]: Leaving directory `/home/repository/L4.kernel/fiasco/src/l4/pkg/ned'
make: *** [ned] Error 2

Commenting the line "OBJS            += ned.lua.bin.o" in the file l4/pkg/ned/server/src/Makefile gives this error.

  ==> Linking ned
lua.o: In function `lua(int, char const* const*)':
/home/repository/L4.kernel/fiasco/src/l4/pkg/ned/server/src/lua.cc:97: undefined reference to `_binary_ned_lua_start'
/home/repository/L4.kernel/fiasco/src/l4/pkg/ned/server/src/lua.cc:97: undefined reference to `_binary_ned_lua_end'
make[4]: *** [ned] Error 1
make[4]: Leaving directory `/home/repository/L4.kernel/fiasco/src/l4/ArmBuild/pkg/ned/server/src/OBJ-arm_armv7a-l4f'
make[3]: *** [/home/repository/L4.kernel/fiasco/src/l4/ArmBuild/pkg/ned/server/src/OBJ-arm_armv7a-l4f] Error 2
make[3]: Leaving directory `/home/repository/L4.kernel/fiasco/src/l4/pkg/ned/server/src'
make[2]: *** [src] Error 2
make[2]: Leaving directory `/home/repository/L4.kernel/fiasco/src/l4/pkg/ned/server'
make[1]: *** [server] Error 2
make[1]: Leaving directory `/home/repository/L4.kernel/fiasco/src/l4/pkg/ned'
make: *** [ned] Error 2

Regards,
Guillaume GASNIER