Renamed Buildings 1.4 to Buildings because git pull cannot be merged automatically anymore after we renamed Buildings to Buildings 1.4