Also override get-edebug-spec