The mantainer of Linux packages (Bas, the FallingDutch) is on vacation, and anyway there are things that need to be fixed. At present you con only use 707-dev1 on Linux just to build other apps. Working with it is practically impossible due to bugs. Look at this thread