Some minor build changes to make things work with OS Jenkins
Some minor build changes to make things work with OS Jenkins

ASzc/ceylon-sdk,rohitmohan96/ceylon-sdk,matejonnet/ceylon-sdk,ASzc/ceylon-sdk,jeancharles-roger/ceylon-sdk,jeancharles-roger/ceylon-sdk