separate compilation of ucons*