clean out proprietary files

pending submission of some patches on gerrit, although it should be harmless to merge