Travis: fix script

This should fix the error at
https://travis-ci.org/inc-lc/ilc-agda/builds/28859109.