Fix for #5310164672277. At least it worked for me.
copying new libs to HOWTO and Cocoa