more attempts to diagnose/debug #134

Conflicts:
	src/external.cpp