Pretty hackish way to fix ceylon/ceylon-compiler#1228, @tombentley should definitely take a look at this