Fix rdoc generation by first specifying polarssl.c that specifies the module.