Fix dependency on stdlib