Apply Ubuntu patches in build server (which uses Debian)