Remove [[noreturn]] because aparently g++ 4.7.x doesn't support it