For the record, this looks rather like a distribution compiler bug than a problem with vmmon driver code.
