fix url for stdlib