Crie um programa que receba uma frase é troque a palavra ALUNO por ESTUDANTE e ESCOLA por UNIVERSIDADE. está incompleto nn faço a menor ideia de como corrigir o espaço que ele come após trocar os valores

#include <stdio.h>
#include <stdlib.h>
#include <string.h>

int main(void) {

char frase[100] = "O aluno se matriculou!";
//char aux[100];
int aux = 0;
int nt = 0;
printf("Digite a frase\n");
//scanf("%s", frase);
//gets(frase);
//frase = "Aluno";
printf("%s", frase);
int tamanho = strlen(frase);
int aux_tamanho = tamanho;
for (int i = 0; i < tamanho; i++) {
    //printf("\nvalor de i %i\n", i);
    if ((frase[i + 1] == 'l') && (frase[i + 2] == 'u') && (frase[i + 3] == 'n') && (frase[i + 4] == 'o')) {
        if (frase[i] == 'A') {
            frase[i] = 'E';
            aux = 1;
        }
        if (frase[i] == 'a') {
            frase[i] = 'e';
            aux = 1;
        }
        if (aux == 1) {
            int espaco = aux_tamanho - ((i + 4) + 1);
            //printf("\nEspaco = %i\n", espaco);
            nt = aux_tamanho + 4;

            for (int j = 0; j < espaco; j++) {
                frase[nt - 1] = frase[aux_tamanho - 1];
                nt--;
                aux_tamanho--;

            }

            frase[i + 1] = 's';
            frase[i + 2] = 't';
            frase[i + 3] = 'u';
            frase[i + 4] = 'd';
            frase[i + 5] = 'a';
            frase[i + 6] = 'n';
            frase[i + 7] = 't';
            frase[i + 8] = 'e';
        }
    }
}
 
printf("\n%s", frase);
int tamanho2 = strlen(frase);
   // printf("\n%i", tamanho2);
}