Result of 'make' against commit 12ab237