My method is really so simple that it surprises me I didn't realize it before - I just borrow an mp3 player with recording function from a person I know, then plug it into the earphones hole on my speakers. Press record, and voilà, an mp3 file! Now I just have to wait for the mp3 player.