[*] Linux build restored
requested review from @naeper
assigned to @naeper
merged
mentioned in commit c9117e8d