Construction of some arithmetically defined compact locally symmetric spaces