Possibly a fix for the debian issue. See #425.