Is there a universal remote desktop protocol, that works both for windows and linux?