travis: use /usr/lib/mono/4.0/