#25: clean up repositories to be used on travis