fix crashing while loading the stdlib