Lecture 4b, Linux Development Environment