Setup: adapt travis config to new PC lib