Dump

Trying to keep the GitHub build somewhat synched for the people using it