Added vendor/belt in order to only compile libs needed for typing