Make the pthread_spin code work on glibc/linux