opensource / rc5-distfiles