Remind users about regenerating binstubs "in case of problems"