[install] catch deprecated use of 4.00.1+mirage-xen, thanks /mcclurmc
[install] minimise whitespace changes
Merge pull request #20 from mor1/master

correcting deprecated use of mirage-xen switch per /mcclurmc