Workaround for PHP APC bug affecting Ubuntu 12.04