Make dynticks conditional on __linux__. Spotted by Andreas Faerber.