Remove useless ubuntu-specific files.