Travis: fix path of Agda stdlib