hard-coding precise repo to try to get things working