Fix some layout problems on Linux.