Fixed error where build_and_test forgets libCoreSystem-kernel.a