fix derp repo name