Fix Linux build and port to amtl tip.