Re: Problem with executing a binary on l4linux