Fix the Travis test to use the Extra library