specs updated with proper pthread linking