My course-mates tell me that they used cinnamon oil instead of the ground cinnamon, low those many years ago -1980. (Word of caution - if you use essential cinnamon oil go sparingly and wear rubber gloves it can burn the skin).