root/dev: links for galaxie-microgui