Work around the user repos thing not working right