update to main source for PrimeExplorer