fixes for FAXlistTest to work on uct2-int