Links for fpt-gui-lib