christos e0f345fa97 use the nbcompat copies for those files		2016-09-03 11:34:05 +00:00
..
machine	…
Makefile	use the nbcompat copies for those files	2016-09-03 11:34:05 +00:00