Use mima to check binary compatibility