I see.  It did seem to work for me but I will return it to the original name.  I assume the changes in /src/modules/mavlink/mavlink_messages.cpp is OK, though.  Right?