Linux fixes for tutorial 1