some work done on linux.port OK