trying to fix broken Travis build