Use redis.so as pre-installed by Travis