add prefer-mirror argument to klomplib