Speed up bash completion