Some useful cmake helper scripts