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 <string.h>

int main(int argc, char* argv[])
{
char frase[100];

int i;

printf(" Informe uma frase :\n");

gets(frase);

for(i=0;i<=strlen(frase);i++)
	{
		if ((frase[i+1]=='a')&&(frase[i+2]=='l')&&(frase[i+3]=='u')&&(frase[i+4]=='n')&&(frase[i+5]=='o'))
		{
			frase[i] = ' ';
			frase[i+1] = 'e';
			frase[i+2] = 's';
			frase[i+3] = 't';
			frase[i+4] = 'u';
			frase[i+5] = 'd';
			frase[i+6] = 'a';
			frase[i+7] = 'n';
			frase[i+8] = 't';
			frase[i+9] = 'e';
			frase[i+10]=' ';
		}
}

puts(frase);
return 0;

}

#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);
}