workaround alt key problem on debian system