Fixed stdenv.h mistake