Some libraries and scripts for CI