Fix #323, ceylon-sdk part

Use the updated property name from ceylon/ceylon-compiler@d3a3b8c, and
change the parameter name accordingly.
Merge pull request #324 from lucaswerkmeister/fix323

Fix #323, ceylon-sdk part