Install libstdc++5 to possibly avoid a build error?