fix osx protean command