Fix the problem reported by Teju for pthread code