Few bug fixes; synch updates; linux-to-conversion scripts