travis: fix filename...