add a fix for Travis build