Remove no_stage. This has no impact since this port doesn't build at
present. Updated, staged and most important working version will be
committed this summer! With some extra 'random' stuff.