Try to fix travis build problem related to boost