Properly update marinmba.h