FWIW I've found https://obsproject.com an easy tool for screen recordings. (It also does streaming but it is also fine for recording)