not really,. he will still get to use it in windows. my suggestion is the easiest fix, short of hacking the hell out of his linux install or reinstalling linux.