@Federico: The x11 issue you spotted has now been fixed through updated patches, and the PPA has been updated with the latest patch versions.
@Federico: The x11 issue you spotted has now been fixed through updated patches, and the PPA has been updated with the latest patch versions.