With this change, 'make' now succeeds for me when logged in through
ssh to a Mac where I am not logged in on the console or through Screen
Sharing.

Change-Id: I8aa7f3174b00544fa8e399c8d4dcd9cc801e0dc0