*: another horrible hack for Linux