Moved quadruple.h to the right library.