Cleaned up some stuff, most moved to the new PINT repo.