altcomp/dev: links for ilpqec