/usr/local. PR: 12215 Submitted by: Nick Hibma <nick.hibma@jrc.it>
PR: ports/8696 Submitted by: Ryo MIYAMOTO rmiya@cc.hirosaki-u.ac.jp