update patch level for changes to build in Ubuntu16 with external GSL
Authored by: levans 2017-06-01
Parent: [r753]
Child: [r755]