using Agda 2.4.x in travis