Minishift cannot be opened because the developer cannot be verified. but however, this is quite inconvenient.