manually add Ceylon SDK modules