Fix #323, ceylon-sdk part

Use the updated property name from ceylon/ceylon-compiler@d3a3b8c, and change the parameter name accordingly.