Renamed option 'pib_has_run' to 'pib_upgrade_has_run'.

To describe it better.