Port to GNU/Linux platform.