I did use the refresh button. (tried it like 10 different times, even with restarting Icebox a few of those times), Still it did not register that there even was an update between 1.9.3 and 1.9.4... Ever since I downloaded 1.9.4b straight from the website, Icebox has been working fine.