re-added openTK libs