Reverted a little sed part, still needed for 0.8