fix debian 7.2 to 7.4