Reverting changes made for ceylon/ceylon-dist#41