Try to fix a weird bug with travis build