Fixing ftbfs