monteverdi2: patch to work on 10.9