<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
<html>
<head>

<meta http-equiv="content-type" content="text/html; charset=ISO-8859-1">
</head>
<body text="#000000" bgcolor="#ffffff">
<font face="sans-serif">To answer </font>Robert and Felix' queries
about a paxctl equivilent for the above workaround, please consider the
following:<br>
<br>
paxctl -Cpemrxs /usr/sbin/grub-probe<br>
<br>
Note that the capital 'C' is to create the PT_PAX_FLAGS header if none
exists.<br>
</body>
</html>