Fix #323, ceylon-sdk part

Use the updated property name from ceylon/ceylon-compiler@d3a3b8c, and change the parameter name accordingly.

Pull in ceylon/ceylon-compiler#1938 as well.