Updated travis: do not use /dev/null