Fix: mainver extraction from header.