fix broken compilation on Linux. note to self: triple check before merging...