Use IntInf for fibonacci
Fix coursera copy script (for radio)