reintroduced timeout in Makefile, made it 10000ms