Minor fixes to makeconfig script