<tmp105>: a few tweaks in the linux test case.
Update Makefiles.