Compilation of L4Linux, problems with make