added local.properties to work with ant at jenkins side'