debian: moved platform to 7.2.9; control to 3.9.5

also updated dependencies and made changes in install script