Better handling of updating user libraries for ISE