more fixes for issues that result from using different configure flags