Hack to fix ubuntu keyboard issue