6aa4a0b8ccc04fe11d64d52ef182730f  debflex.awk