make prefix=xxx install no longer working on main line

[Paolo Bonzini]

> Paolo, could you investigate ? Thanks.

The toplevel makefile sets MAKEOVERRIDES, so prefix is not passed in the 
subdirectory makefiles.  Nathanael must have forgot that in its review. 
I'm reverting the patch.

Paolo