add debian 7.5 and remove debian 7.4