icarus and modelsim options in .core file