How do I copy the modelsim.ini file into my working directory?