use proper libraries for snopt