Some global aspects of string compactifications