The toplevels/binaries seems to work again

Something is wrong with the feature formula though (eg. toplevels shoulnd't be built on native code, but some code is missing to actually eval the flag formula in the Makefile).