Does the mq_timedreceive() fully implement the POSIX specification?