fix the thread stack size for travis