Hi, will there be 3.1.5 packages? there have been numerous reports that the 3.1.4 ones are too old, and apt-get update doesn't work on them (whatasurprise) Dirk