try to fix the nasty ubuntu issue with gcc related to threads