Delete control_example.pvs~