Fix codesigning problem / Travis CI