Make sure we're actually no_std