Blue-submarine: fix building cinnamon theme