switch to our own repository

also, fix a missing dependency