Quizá digo una tontería muy grande, pero siempre he visto:
include("loquesea");
en el manual php sale:
include 'loquesea';
de hecho comenta que los paréntesis no son necesarios pero especifican un ejemplo en que usando include('loquesea') no funciona, aunque sea debido al valor de retorno nose.... es la diferencia que veo aquí entre el include de la conexión (que te funciona) y el último (que no te funciona).
Sobre el echo que indicas al inicio, hay un error, te sobran unas comillas después de type...:
Cita: echo '<script type=""text/javascript" language="JavaScript">window.location=../principal.html</script>';