Am 24.08.2012 08:28, schrieb Aleksander Morgado: > Oops; strange that I didn't get that. Different gcc versions I guess. > Should be fixed now. Can confirm, it is fixed. gcc is 4.6.2 Thomas