Agda mode OS fix