The parting of Linux and Mono