Fix stdlib workaround on linux