some minor changes on cmakefiles and on the properties files