pthread_attr_setschedparam() returns invalid argument … (Linux C Ubuntu 18.04.4)