jeroen Update CI scripts