Add a travis script to reproduce the bug