Make Linux happy once again