fix brew doctor 'no-pool'