Correct compilation of sot-pg, correct travis compilation.