put repos.txt in the right place and clarified usage of platform_lib