corrected sed for 32-bit builds