I have just noticed that AWS now have a Ubuntu deep learning AMI (AWS deep learning AMI).
It might be interesting to use it in later interation of the course or of the MOOC as it would probably translate easier to what the students will use in their company.