I have replaced the clutch slave cylinder with an aftermarket one that has been on the shelf for several years. I re-used the pushrod from the original but it doesn't reach far enough to fully release the clutch. The pushrod measures 4.125 inches in length. Did the aftermarket cylinder come with a longer pushrod that I have misplaced?