fricas: binary-compiled-with-profiling-enabled usr/lib/fricas/target/x86_64-linux-gnu/bin/FRICASsys
fricas: hardening-no-pie usr/lib/fricas/target/x86_64-linux-gnu/bin/FRICASsys
