Added stdlib and postgres manifest