Fix travis setting to add -lv with prove