Do not build an empty library if mosek optional library is not detected. #138