debian upgrade for travis environment