Hello,

I had a small 'make' problem today after pulling from git master; it was
caused by a benign typo in local.mk introduced in commit
2ac2b17251be51778963e6ced0b83e461d175d01. The following patch fixes
that.

Thanks,

Maxim