No sería un problema si supiera en Linux donde se colocan las mismas, ya que hice una busqueda de estas librerías y algo encontré. Pero luego ¿Donde las dejo caer?...
En /usr/lib. Aunque supongo que sería más apropiado ponerlas en el directorio bin de PixInsight. La ventaja es que no metes cacas extrañas en un directorio de sistema, y tampoco necesitas ser root para nada; el inconveniente es que si mañana sale PixInsight 1.2.6, tienes que volver a colocarlas en el nuevo directorio bin de la nueva versión.
Asegúrate de haberlas conseguido a partir de un sitio fiable dado que de lo contrario, pueden ser cualquier cosa...
Si la versión PI 1.3 tiene esto solucionado y no va a tardar demasiado mejor me esperaré
Lo siento, no sé lo que tardará...