cryptop.*, extract-profile.in: Set execute bits.