Respond to GNU Linux (Ubuntu).

This commit is related by #17.