make nestedvm work with gcc-4.2