As usual while waiting for the next release - don't forget to check the nightly builds in the forum.
#include "External.h"
Thank you; I had seen this option, but assumed that - since the files were included in the project treelist - it wasn't needed here.