I need a good recording software. My current record is 8:16.325, but I can't find a working recording software for Linux! Also, don't add me to the leaderboard, I need proof first.