minor fixes for CI server, testing on detached head commits