Problems Compiling L4RE with L4Linux