Fix for older cmake (on travis)