link with 64 bits libraries (linux)