Remove the old stdlib