change default to de2-115