> Manual commit: adjust build scripts, add rlib:header-only as dependency

U201614531
recolic
Linux RECOLICPC 5.4.6-arch3-1 #1 SMP PREEMPT Tue, 24 Dec 2019 04:36:53 +0000 x86_64 GNU/Linux
 01:12:20 up  6:46,  1 user,  load average: 0.78, 0.96, 0.84
f75a49b365c304508914ace65c3ec1846b875c2
1 job for pa2
in 1 minute and 54 seconds and was queued for 1 second