Yeah, that's right but nothing shows me an update (no App manager and no apt-get upgrade) and I have updated AutoDisconnect from 0.2x to 0.3x when 0.3.1 was already released so I don't know how this could have happened and how I can fix it. Any suggestions?