savegame: adding libphp5.so