fix it so ring.lagda can be made on my computer too