Fix minetest build, repositories changed