Really fix prefix replacement in help2man