the thread_create API uses int for flags...I think we need a change there, too