fix more issues that arise when trying different configure flags