Allow PINTOSSIM environment variable to select default simulator.