corrections to hopefully fix issues with building