Improvements to assert in Linux