no sé que significa "tocho", pero a lo que vamos:
file_get_contents NO procesa nada con PHP, me temo que en tu caso lo mejor es hacer uso de las funciones de control de flujo del stdout en php para obtener lo procesado por PHP al usar include, por ejemplo:
y el contenido lo obtienes en $cuerpo, no es la forma más elegante de hacerlo, lo ideal sería usar un motor de plantillas y renderizar la plantilla obteniendo el resultado como salida.