[rep137] rename distribution file