libstdc++ seems to cause problems.