FIX: Fix Problems wit Ubuntu 13.10