changes needed to make build work on jenkins