Merge branch 'build-tweaks' of https://github.com/nikodemus/jscl into nikodemus-build...