Hola gente un workaround no de lo más ideal si se encuentran trancados con la máquina virtual y quieren trabajar desde sus casas, es acceder remotamente por ssh a alguna de las PCs de estudiantes. Esto está explicado aquí.
Pueden usar un edito en windows para escribir los archivos y luego transferirlos ahí para probarlos. Para esto les recomiendo el Notepad++. Ya estaba muy bueno hace más de 10 años cuando aún usaba windows regularmente :).
También pueden los más aventureros intentar compilar primero en windows y luego probar en linux, copiar con cada cambio no es un flujo de trabajo muy amigable.
Para esto existe el proyecto mingw pero a priori no tenemos ninguna gúia de uso pero pueden empezar por acá.
Personalmente creo que es bueno saber que lo que hagan no funciona solo en linux.
Saludos
Andrés