Double --> GLdouble for linux