Fixes to work on linux.student.cs