fixes for ARM: see gaudi/Gaudi!1153 (merged)
Also fix bug in externals build script to make sure externals are rebuild whenever EXTRACMAKE changes (previously only the first entry was considered).
EXTRACMAKE