Merge pull request #3: fix broken Ndless build
Cleanup navnet/Makefile.pc