fix for running externandnotdefined plugin on Ubuntu

Change-Id: I00804b2dd63df44478a14a3eaf2fdcd4e4ce5d09