Modelsim pe student edition licensing failure